________________________________________________
Step 1. [1]			0 refinements

?- p

1. p

FOL:  indirect-proof 
________________________________________________
Step 2. [1]			1 refinement

?- p

1. (~ p)
2. p

FOL:  raa 
proved in 2 refinements

________________________________________________
Step 1. [1]			0 refinements

?- p

1. p

autofol:  autofol 
proved in 8 refinements

________________________________________________
Step 1. [1]			0 refinements

?- p

1. p

FOL:  pc_decision_procedure 
proved in 21 refinements

________________________________________________
Step 1. [1]			0 refinements

?- p

1. p

autofol:  autofol 
proved in 8 refinements

________________________________________________
Step 1. [1]			0 refinements

?- p

1. p

FOL:  pc_decision_procedure 
proved in 21 refinements

________________________________________________
Step 1. [1]			0 refinements

?- p

1. p

autofol:  autofol 
proved in 8 refinements

